Цель преподавания дисциплины «Математическая логика и теория алгоритмов» состоит в изучении основных понятий и методов математической логики и теории алгоритмов, используемые в информатике и вычислительной технике, а также в получении представления о направлениях развития данной дисциплины и перспективах ее использования в информатике и вычислительной технике. Задачами дисциплины является приобретение умений использования основных понятий математической логики и теории алгоритмов для построения несложных логических моделей предметных областей, реализации логического вывода и оценки вычислительной сложности алгоритмов.

Изучение данной дисциплины базируется на материале предшествующего курса «Дискретная математика». Дисциплина является предшествующей для большинства дисциплин, в том числе: «Функциональное и логическое программирование», «Теория сложности вычислительных процессов и структур», «Теория языков программирования и методы трансляции»

В процессе изучения данной дисциплины Вам необходимо:

• Изучить конспект лекций;
• Выполнить контрольную работу;
• Сдать экзамен.

Внимательно прочтите следующие замечания:

1. При изучении курса «Математическая логика и теория алгоритмов» кроме электронного конспекта лекций рекомендуется литературой из списка.
2. Освоение курса «Математическая логика и теория алгоритмов» невозможно без практики решения задач, необходимо иметь знания по дискретной математике.
3. В конспекте лекций приводятся примеры решения задач, которые могут быть полезны при выполнении контрольной работы. Также в конспекте подробно (по шагам) проиллюстрированы примеры по теме Машина Тьюринга (МТ), дающие возможность более подробного и наглядного изучения принципов работы Машины Тьюринга.
4. Выполненная контрольная работа должна быть выслана со страниц нашего сайта. После проверки контрольной работы преподавателем Вы получите рецензию с оценкой и возможными замечаниями, которые следует устранить. Если работа не зачтена, то после доработки и устранения ошибок Вы должны повторно выслать контрольную работу на проверку.
5. Только после получения положительной оценки по контрольной работе Вы можете приступать к выполнению экзаменного задания.
6. Итоговая оценка за курс выставляется по результатам сдачи экзамена.
7. Получить консультацию преподавателя можно по контактным данным (см. раздел "Консультации ").

Желаем Вам успехов в изучении дисциплины "Математическая логика и теория алгоритмов".